Optimal simulation of self-verifying automata by deterministic automata

Converting Self-verifying Automata into Deterministic Automata

Space-Efficient Deterministic Simulation of Probabilistic Automata

Given a description of a probabilistic automaton (one-head probabilistic nite automaton or probabilistic Turing machine) and an input string x of length n, we ask how much space does a deterministic Turing machine need in order to decide the acceptance of the input string by that automaton? The question is interesting even in the case of one-head one-way probabilistic nite automata (PFA). We ca...

Deterministic Automata: Simulation, Universality and Minimality

Finite automata have been recently used as alternative, discrete models in theoretical physics, especially in problems related to the dichotomy between endophysical/intrinsic and exophysical/extrinsic perception (see, for instance [15, 18, 16, 7, 17, 4]). These studies deal with Moore experiments; the main result states that it is impossible to determine the initial state of an automaton, and, ...

DISTINGUISHABILITY AND COMPLETENESS OF CRISP DETERMINISTIC FUZZY AUTOMATA

In this paper, we introduce and study notions like state-\linebreak distinguishability, input-distinguishability and output completeness of states of a crisp deterministic fuzzy automaton. We show that for each crisp deterministic fuzzy automaton there corresponds a unique (up to isomorphism), equivalent distinguished crisp deterministic fuzzy automaton. Finally, we introduce two axioms related...

An upper bound for transforming self-verifying automata into deterministic ones

This paper describes a modification of the power set construction for the transformation of self-verifying nondeterministic finite automata to deterministic ones. Using a set counting argument, the upper bound for this transformation can be lowered from 2 to O( 2 n √ n ). Mathematics Subject Classification. 68Q10, 68Q19.